A mathematical definition of full Prolog
نویسندگان
چکیده
منابع مشابه
A Mathematical Definition of Full Prolog
The paper provides a mathematical yet simple model for the full programming language Prolog, as apparently intended by the ISO draft standard proposal. The model includes all control constructs, database operations, solution collecting predicates and error handling facilities, typically ignored by previous theoretical treatments of the language. We add to this the ubiquitous box-model debugger....
متن کاملA Transitional Semantics of Full Prolog
A structural operational semantics is given to full Prolog, including cut and negation. Backtracking is implemented through lookahead and requires no auxiliary structures, besides the goal and the accumulated substitution. A concurrent version of this semantics is also outlined.
متن کاملMathematical Definition of a Group
Introduction of Groups via Symmetry Groups of Molecules Determination of the structure of molecules is one of many examples of the use of the group theory. Electronic structure of a molecule can be determined via its geometric structure. In this case, one consider the symmetry of a molecule since it reveals information about its properties (i.e., structure, spectra, polarity, chirality, etc). T...
متن کاملTo a Mathematical Definition of \life"
\Life" and its \evolution" are fundamental concepts that have not yet been formulated in precise mathematical terms, although some eeorts in this direction have been made. We suggest a possible point of departure for a mathematical deenition of \life." This deenition is based on the computer and is closely related to recent analyses of \inductive inference" and \randomness." A living being is a...
متن کاملA Mathematical Definition of Synthetic Emergence
The aim of this paper is to define synthetic emergence in a domain independent fashion. The mathematical definition of the first kind of synthetic emergence will be given by the consideration of closed and open subsets of the limit of design systems. A brief sketch of design systems will be also given by using the concept of information flow from Barwise and Seligman.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1995
ISSN: 0167-6423
DOI: 10.1016/0167-6423(95)00006-e